يكون فردا لمقابله ، كمفهوم الجزئيّ ، الذي هو فرد للكلّيّ و مقابل له باعتبارين ؛ فلا إشكال . و من أحكام التضايف أنّ المتضائفين متكافئان وجودا و عدما ، و قوّة و فعلا ؛ فإذا كان أحدهما موجودا ، فالآخر موجود بالضرورة ؛ و إذا كان أحدهما معدوما ، فالآخر معدوم بالضرورة ؛ و إذا كان أحدهما بالقوّة ، أو بالفعل ، فالآخر كذلك بالضرورة . و لازم ذلك أنّهما معان ، لا يتقدّم أحدهما على الآخر ، لا ذهنا ، و لا خارجا .